• ГЛАВА 8. Логическое программирование
    • 8.1. Формальные языки
      • 8.1.1. Исчисление высказываний
      • 8.1.2. Исчисление предикатов
    • 8.2. Язык PROLOG
    • 8.3. Опровержение резолюций
      • 8.3.1. Принцип резолюций
      • 8.3.2. Поиск доказательства в системе резолюций
    • 8.4. Процедурная дедукция в системе PLANNER
    • 8.5. PROLOG и MBASE
      • 8.5.1. Правила поиска в языке PROLOG
      • 8.5.2. Управление поиском в системе MBASE
    • Рекомендуемая литература
    • Упражнения